queue($l$;$t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$nth\_tl($\parallel$rcvs($l$;$t$)$\parallel$;snds($l$;$t$))